🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Type Theory

Dependent Types, Linear Types, Effect Systems, Hindley-Milner

A Library Approach to Constant Template Parameters
brevzin.github.io·2h·
Discuss: Hacker News
🦀Rust
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🔧functional programming languages
Machine Learning Fundamentals: loss function
dev.to·23h·
Discuss: DEV
🔧functional programming languages
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4h·
Discuss: Lobsters, Hacker News
🐪ocaml
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·8h
🔄Async Rust
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
⚠️Error Handling
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
⚠️Error Handling
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·4d·
Discuss: Hacker News
🔧functional programming languages
Introduction to Supervised Machine Learning for Beginners
github.com·8h·
Discuss: DEV
💻programming
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
⚠️Error Handling
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·6h·
Discuss: Hacker News
🦀Rust
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·1d
🦀Rust
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔧functional programming languages
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
⚠️Error Handling
Why men are different from women
unherd.com·17h·
Discuss: unherd.com
🔧functional programming languages
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·3d·
Discuss: Hacker News
🔧functional programming languages
True names matter in C++
quuxplusone.github.io·1d
⚠️Error Handling
Vibe coding complex changes in Rust
youtube.com·19h
🦀Rust
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·1d
💻programming
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·1d·
Discuss: r/LocalLLaMA
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap